;正则序和应用序
(define (p) (p))
  (define (test x y)
    ( if ( = x 0)
	 0 
	 y))
